Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
by Domenico Cantone,Eugenio Omodeo,Alberto Policriti
ISBN 13: 9780387951973
Format: Illustrated (432 pages) Publisher: Springer Published: 26 Jun 2001
Save for later
Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets (Monographs In Computer Science)
ISBN 13: 9781441929051
Format: Paperback (428 pages) Publisher: Springer Published: 21 Sep 2011